This patch fix a bug in set_reg_value() for x86_64 VMX guest.

Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>

diff --git a/xen/arch/x86/vmx_io.c b/xen/arch/x86/vmx_io.c
index 1d3b248e5e87e696b3cc8fd00dfc6803549126a9..7f33a6ef28a389f48af492f0b9615009ca984c78 100644 (file)
--- a/xen/arch/x86/vmx_io.c
+++ b/xen/arch/x86/vmx_io.c
@@ -261,7 +261,7 @@ static void set_reg_value (int size, int index, int seg, struct cpu_user_regs *r
                 domain_crash_synchronous();
                 break;
         }
-
+        return;
     }
 
     switch (index) {